Expressing preferences in default logic

نویسندگان

  • James P. Delgrande
  • Torsten Schaub
چکیده

We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter’s default logic. Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering, reflecting preference, on the default rules. In contrast with previous work in the area, we do not rely on prioritised versions of default logic, but rather we transform an ordered default theory into a second, standard default theory wherein the preferences are respected, in that defaults are applied in the prescribed order. This translation is accomplished via the naming of defaults, so that reference may be made to a default rule from within a theory. In an elaboration of the approach, we allow an ordered default theory where preference information is specified within a default theory. Here one may specify preferences that hold by default, in a particular context, or give preferences among preferences. In the approach, one essentially axiomatises how different orderings interact within a theory and need not rely on metatheoretic characterisations. As well, we can immediately use existing default logic theorem provers for an implementation. From a theoretical point of view, this shows that the explicit representation of priorities among defaults adds nothing to the overall expressibility of default logic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Cumulative-Model Semantics for Dynamic Preferences on Assumptions

Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred models. In this paper, we show how to embed preferences in the logical theory itself. This gives a high freedom for expressing statements about preferences. Preferences ca...

متن کامل

Compiling Reasoning with and about Preferences into Default Logic

We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory consists of a set of default rules, a set of world knowledge, and a set of fixed preferences on the default rules. This theory is transformed into a second, standard default theory, where, via the naming of defaults, ...

متن کامل

Reasoning with Sets of Defaults in Default Logic

We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we consider how to control the application of a set of defaults so that either all apply (if possible) or none do (if not). From this, an approach to dealing with preferences among sets of default rules is developed. We begi...

متن کامل

The Role of Default Logic in Knowledge Representation

Various researchers in Artiicial Intelligence have advocated formal logic as an analytical tool and as a formalism for the representation of knowledge. Our thesis in this paper is that commonsense reasoning frequently has a nonmonotonic aspect, either explicit or implicit, and that to this end Default Logic (DL) provides an appropriate elaboration of classical logic for the modelling of such ph...

متن کامل

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

This paper shows how action theories, expressed in an extended version of the languageB, can be naturally encoded using Prioritized Default Theory. We also show how prioritizeddefault theory can be extended to express preferences between rules. This extension providesa natural framework to introduce different types of preferences in action theories—preferencesbetween actions...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Artif. Intell.

دوره 123  شماره 

صفحات  -

تاریخ انتشار 2000